1.
Author: ناس ،جان بایر,جان بایر ناس
Library: (Shahid Kashani Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
Subject: ،ادیان،
Classification :
291
ن
152
ت
1386
3.
Author: ناس ،جان بایر
Library: (13Aban Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
Subject: ،ادیان،
Classification :
291
ن
152
ت
1386
4. <A> Computational Logic
Author: \ Robert S. Boyer and J Strother Moore
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving.
Classification :
E-Book
,
5. A comparison of network-based strategies for screening at-risk Hispanic/Latino adolescents and young adults for undiagnosed asymptomatic HIV infection.
Author: Boyer, Cherrie B; Robles-Schrader, Grisel M; Li, Su X; Miller, Robin L; Korelitz, James; Price, Georgine N; Rivera Torres, Carmen M; Chutuape, Kate S; Stines, Stephanie J; Straub, Diane M; Peralta, Ligia; Febo, Irma; Hightow-Weidman, Lisa; Gonin, René; Kapogiannis, Bill G; Ellen, Jonathan M
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
6. A computational logic
Author: Boyer, Robert S., Robert S. Boyer and J Strother Moore
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96
B68
7. A computational logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving. ;
8. A computational logic
Author: / Robert S. Boyer and J. Strother Moore
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving
Classification :
QA
,
76
.
9
,.
A96
,
B68
9. A computational logic
Author: Boyer, Robert S.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96B68
10. A computational logic handbook
Author: BOYER,ROBERT S
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
76
.
9
.
A96
B684
11. A handbook for the study of mental health :
Author: edited by Teresa L. Scheid, Tony N. Brown.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Social psychiatry.,Community Psychiatry.,Mental Health Services.,Public Policy.,Psykisk hälsa-- sociala aspekter.,Social psychiatry.
Classification :
RC455
.
H285
2010
12. A history of the world's religions
Author: David S. Noss, John B. Noss
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Religions
Classification :
BL
,
80
.
2
,.
N59
,
1994
13. America's communal utopias /
Author: edited by Donald E. Pitzer ; foreword by Paul S. Boyer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Collective settlements-- United States-- History.,Communal living-- United States-- History.,Communitarianism-- United States.,Collective settlements.,Communal living.,Communitarianism.,Gemeenschapszin.,HISTORY-- United States-- General.,POLITICAL SCIENCE-- Political Ideologies-- Communism & Socialism.,Utopieën.,United States., 7
Classification :
HX653
.
A63
1997eb
14. American history :
Author: Paul S. Boyer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: United States, History, 0
Classification :
E178
.
B782
2012
15. Architecture and protocols for high-speed networks
Author: edited by Otto Spaniol, Andre Danthine and Wolfgang Effelsberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures.,Computer network protocols.
Classification :
TK5105
.
55
E358
2011
16. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
17. Automated reasoning : essays in honor of Woody Bledsoe
Author: edited by Robert S. Boyer
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Automatic theorem proving,، Artificial intelligence
Classification :
QA
76
.
9
.
A96
A92
1991
18. Automated reasoning: essays in honor of Woody Bledsoe
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving,، Artificial intelligence
Classification :
QA
76
.
9
.
A96
.
A92
1991
19. Candid science III :
Author: István Hargittai ; edited by Magdolna Hargittai.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry-- History-- 20th century.,Chemists, Biography.,Chemists, Interviews.,Scientists, Interviews.,Chimie-- Histoire-- 20e siècle.,Chimistes, Biographies.,Chimistes, Entretiens.,Scientifiques, Entretiens.,BIOGRAPHY & AUTOBIOGRAPHY-- Science & Technology.,Chemistry.,Chemists.,SCIENCE-- Chemistry-- General.,Scientists.
Classification :
QD21
.
H295
2003eb
20. Chemistry of high-temperature superconductors II /
Author: David L. Nelson, Thomas F. George, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: High-temperature superconductors, Congresses.,Materials at high temperatures, Congresses.,Superconductors-- Chemistry, Congresses.
Classification :
QD473
.
C488
1988
